Currently does not work because it is trying to fetch the branch from the NewPipe repo. But the branch exists on the repo of the PR opener, which usually is not NewPipe

What about

git branch ${VAR_FOR_BRANCH_NAME}

that will throw an error if the branch already exists. which can occur if the PR comes from the newpipe repo itself or comes from the dev branch of another repo.

I don't know if that aborts the run, but still not ideal

Then what about deleting the branch if it exists and then doing git branch?

@TobiGr @Stypox I went with checkout -B now. in the normal cases where the branch does not exists it works like checkout -b. In the cases where it does exist, it moves that branch to the current position and checks it out.

see my updated pr body

Then what about deleting the branch if it exists and then doing git branch?

I didn't want to figure out how to do that in shell script